1. Finite automata, their algebras and grammars
المؤلف: J. Richard Buchi ; Dirk Siefkes, editor,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
2. Finite automata : their algebras and grammars : Towards a theory of formal expressions
المؤلف: Buchi, J. Richard, 4291-4891
المکتبة: (طهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
3. The collected works of J. Richard Buchi
المؤلف: Buchi, J. Richard, 4291-4891
المکتبة: (طهران)
موضوع: ، Machine theory,، Logic, Symbolic and mathematical,، Buchi, J. Richard, 4291-4891
رده :
QA
267
.
B79
1990
4. The monadic second order theory of all countable ordinals
المؤلف: Buchi, J. Richard
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Gنdel's theorem,، Model theory
رده :
QA
3
.
L28
no
.
328
5. The monadic second order theory of all countable ordinals
المؤلف: Buchi, J. Richard.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Godel's theorem,، Model theory
رده :
QA
1
.
L4
v
.
328
6. The monadic second order theory of all countable ordinals
المؤلف: Buchi, J. Richard
المکتبة: (طهران)
موضوع: ، Model theory
رده :
QA
9
.
65
.
B8
1973
7. The monadic second order theory of all countable ordinals
المؤلف: Buchi, J. Richard
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Godel's theorem,Model theory
رده :
QA
3
.
L28
no
.
328
8. The monadic second order theory of all countable ordinals
المؤلف: Buchi, J. Richard, 4291-4891
المکتبة: (طهران)
موضوع: ، Godel's theorem,، Model theory
رده :
QA
3
.
L28
Vol
.
328
